منابع مشابه
Conditionalization and The Logic of Total Knowledge
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tennet that an agent’s degrees of belief—assumed to be encoded as a probability distribution—should be revised by conditionalization on the agent’s total knowledge up to that time. A familiar argument, based on the construction of a dia...
متن کاملLogic Based on Total - Ordered Partition Model 1
This paper deals with the problem of uniqueness of reconstruction in Open Logic by introducing the concept of total-ordered partitions, an ordering structure modeling belief degrees of knowledge, and rede ning the reconstruction operation. Based on the resulting de nition, a nontrivial condition for the convergency of cognitive processes is given. It is shown that if new knowledge is not always...
متن کاملTotal Correctness of Logic Programs: A Formal Approach
This paper presents a deductive system in which one can prove total correctness of pure Prolog programs with negation. Total correctness of logic programs means two things: termination and partial correctness with respect to a specification. The deductive system we use is a Clark-like completion augmented with induction. It is called the inductive extension of a logic program. The connections b...
متن کاملTreating Partiality in a Logic of Total Functions
The need to use partial functions arises frequently in formal descriptions of com puter systems However most proof assistants are based on logics of total func tions One way to address this mismatch is to invent and mechanize a new logic Another is to develop practical workarounds in existing settings In this paper we take the latter course we survey and compare methods used to support partiali...
متن کاملTotal Power Optimization for Combinational Logic Using Genetic Algorithms
Power consumption is a top priority in high performance circuit design today. Many low power techniques have been proposed to tackle the ever serious, highly pressing power consumption problem, which is composed of both dynamic and static power in the nanometer era. The static power consumption nowadays receives even more attention than that of dynamic power consumption when technology scales b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2014
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020314000124